Arithmetic function - PDFSEARCH.IO - Document Search Engine

Arithmetic function
Results: 443

#	Item
61	The 28th Nordic Mathematical Contest Monday, 31 March 2014 Problem set with solutions The time allowed is 4 hours. Each problem is worth 5 points. The only permitted aids are writing and drawing tools. Add to Reading List Source URL: www.georgmohr.dk Language: English - Date: 2014-03-31 14:58:34 Group theory Function Modular arithmetic Quasigroup Algebraic number field Mathematics Abstract algebra Algebraic number theory
62	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
63	JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2006-11-01 16:30:59 Addition Mathematics education Fraction Function Sign Equivalence relation Equation Relational operator Mathematics Elementary arithmetic Equals sign
64	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
65	Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails: INR 318, Station 15, CH-1015 Lausanne, Switzerla Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:51:42 Binary operations Algebraic number theory Multiset Function Summation Cardinality Number Addition Expected value Mathematics Abstract algebra Elementary mathematics
66	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
67	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:37 Field theory Diophantine geometry Number theory P-adic number Valuation FO Local zeta-function Constructible universe Igusa zeta-function Abstract algebra Mathematics Algebra
68	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
69	I N T E R N AT I ON AL COM PUT E R SCI E NCE I N S T I T U T E Revisiting a basic function on current CPUs: A fast logarithm implementation Add to Reading List Source URL: www.icsi.berkeley.edu Language: English - Date: 2007-06-25 13:05:33 Computer programming Computer arithmetic Software optimization Graphics hardware Video cards Lookup table Floating point CPU cache Natural logarithm Computing Computer hardware Logarithms
70	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations

UPDATE